(a, e) -> b